finite automata to regular expression